{{{ Highlight 2.2
Source: https://svn.code.sf.net/p/jedit/svn/plugins/Highlight/tags/2.2
Announcement: Fix a bug in color highlight with soft wrap
Add an option to ignore selections smaller than a number of char
Fix highlight selection under caret not working in splitted panes
Requires Java 1.7
Requires jEdit 05.01.99.00
Short Description: Highlight is a visual plugin that will highlight words (or
matched regexp) with different colors.
Long Description: <html>
<p> Highlight is a visual plugin that will highlight
words (or matched regexps) with different colors in the text area.</p>
<p>Contains the option <b>highlight word at caret</b>, which some say should be a
built-in feature of jEdit. There are many other options and actions that allow you
to highlight specific things in different ways.
</p>
</html>
}}}
| Submitted | kpouer - 2015-10-16 08:46:29.769000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |